Qué (quién) es specification language - definición
Specification language
FORMAL LANGUAGE USED IN COMPUTER SCIENCE
Formal Specification language; Formal specification language; Implementation language; Implementation languages; List of specification languages
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system.Joseph Goguen
IMPlementation language
FORMAL LANGUAGE USED IN COMPUTER SCIENCE
Formal Specification language; Formal specification language; Implementation language; Implementation languages; List of specification languages
<language> (IMP) An extension of B with floating-point
operations, developed by W. Davidsen at General Electric in
1970 for the GE 600. It was also cross-compiled to VAX
and Intel 8080.
(1996-04-07)
Programming language specification
DOCUMENTATION ARTIFACT THAT DEFINES A PROGRAMMING LANGUAGE
Language specification
In computer programming, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so that users and implementors can agree on what programs in that language mean. Specifications are typically detailed and formal, and primarily used by implementors, with users referring to them in case of ambiguity; the C++ specification is frequently cited by users, for instance, due to the complexity.
